Context - Aware Payment for Supply Chains : Software Architecture and Formal Verification

Lack of automation in supply chain payment systems is one of the missing points in the area of optimizations and can cause inefficiencies in the total performance of the chain. To overcome this problem, a new context-aware payment method is introduced in this paper, based on pervasive and ubiquitous computing technologies. The main architectural structure is inspired from the Service-Oriented Context Aware Middleware (SOCAM) along with the modification of existing architectures in context-aware systems. It also provides components to insure trusted interactions among members in a supply chain. A new three-layered architecture has been suggested to support this new approach. Software architecture of the proposed payment system has been specified using the Unified Modeling Language (UML) and its crucial properties making the system safe and reliable have been verified using formal methods. The verification of such approach using Temporal Logic insures its progress and overall performance of the future systems developed under this architecture. Index Terms — Context-awareness, Formal Methods, Software Architecture, Supply Chain Management.